Optimal. Leaf size=458 \[ -\frac {9 \left (64 a b c d-26 a^2 d^2-b^2 \left (18 c^2-13 d^2\right )\right ) \cos (e+f x) (c+d \sin (e+f x))^{7/3}}{2080 d^3 f}-\frac {9 b (3 b c-2 a d) \cos (e+f x) \sin (e+f x) (c+d \sin (e+f x))^{7/3}}{208 d^2 f}+\frac {3 \cos (e+f x) (a+b \sin (e+f x))^2 (c+d \sin (e+f x))^{7/3}}{16 d f}-\frac {3 (c+d)^2 \left (208 a^2 c d^2-64 a b d \left (3 c^2-5 d^2\right )+b^2 c \left (54 c^2+d^2\right )\right ) F_1\left (\frac {1}{2};\frac {1}{2},-\frac {7}{3};\frac {3}{2};\frac {1}{2} (1-\sin (e+f x)),\frac {d (1-\sin (e+f x))}{c+d}\right ) \cos (e+f x) \sqrt [3]{c+d \sin (e+f x)}}{1040 \sqrt {2} d^4 f \sqrt {1+\sin (e+f x)} \sqrt [3]{\frac {c+d \sin (e+f x)}{c+d}}}-\frac {3 (c-d) (c+d)^2 \left (192 a b c d-208 a^2 d^2-b^2 \left (54 c^2+91 d^2\right )\right ) F_1\left (\frac {1}{2};\frac {1}{2},-\frac {4}{3};\frac {3}{2};\frac {1}{2} (1-\sin (e+f x)),\frac {d (1-\sin (e+f x))}{c+d}\right ) \cos (e+f x) \sqrt [3]{c+d \sin (e+f x)}}{1040 \sqrt {2} d^4 f \sqrt {1+\sin (e+f x)} \sqrt [3]{\frac {c+d \sin (e+f x)}{c+d}}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.81, antiderivative size = 458, normalized size of antiderivative = 1.00, number of steps
used = 11, number of rules used = 8, integrand size = 35, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.229, Rules used = {3001, 3129,
3112, 3102, 2835, 2744, 144, 143} \begin {gather*} -\frac {3 (c+d)^2 \left (208 a^2 c d^2-64 a b d \left (3 c^2-5 d^2\right )+b^2 c \left (54 c^2+d^2\right )\right ) \cos (e+f x) \sqrt [3]{c+d \sin (e+f x)} F_1\left (\frac {1}{2};\frac {1}{2},-\frac {7}{3};\frac {3}{2};\frac {1}{2} (1-\sin (e+f x)),\frac {d (1-\sin (e+f x))}{c+d}\right )}{1040 \sqrt {2} d^4 f \sqrt {\sin (e+f x)+1} \sqrt [3]{\frac {c+d \sin (e+f x)}{c+d}}}-\frac {3 (c-d) (c+d)^2 \left (-208 a^2 d^2+192 a b c d-\left (b^2 \left (54 c^2+91 d^2\right )\right )\right ) \cos (e+f x) \sqrt [3]{c+d \sin (e+f x)} F_1\left (\frac {1}{2};\frac {1}{2},-\frac {4}{3};\frac {3}{2};\frac {1}{2} (1-\sin (e+f x)),\frac {d (1-\sin (e+f x))}{c+d}\right )}{1040 \sqrt {2} d^4 f \sqrt {\sin (e+f x)+1} \sqrt [3]{\frac {c+d \sin (e+f x)}{c+d}}}-\frac {9 \left (-26 a^2 d^2+64 a b c d-\left (b^2 \left (18 c^2-13 d^2\right )\right )\right ) \cos (e+f x) (c+d \sin (e+f x))^{7/3}}{2080 d^3 f}-\frac {9 b (3 b c-2 a d) \sin (e+f x) \cos (e+f x) (c+d \sin (e+f x))^{7/3}}{208 d^2 f}+\frac {3 \cos (e+f x) (a+b \sin (e+f x))^2 (c+d \sin (e+f x))^{7/3}}{16 d f} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 143
Rule 144
Rule 2744
Rule 2835
Rule 3001
Rule 3102
Rule 3112
Rule 3129
Rubi steps
\begin {align*} \int \cos ^2(e+f x) (a+b \sin (e+f x))^2 (c+d \sin (e+f x))^{4/3} \, dx &=\int (a+b \sin (e+f x))^2 (c+d \sin (e+f x))^{4/3} \left (1-\sin ^2(e+f x)\right ) \, dx\\ &=\frac {3 \cos (e+f x) (a+b \sin (e+f x))^2 (c+d \sin (e+f x))^{7/3}}{16 d f}+\frac {3 \int (a+b \sin (e+f x)) (c+d \sin (e+f x))^{4/3} \left (-2 b c+3 a d+(a c+b d) \sin (e+f x)+(3 b c-2 a d) \sin ^2(e+f x)\right ) \, dx}{16 d}\\ &=-\frac {9 b (3 b c-2 a d) \cos (e+f x) \sin (e+f x) (c+d \sin (e+f x))^{7/3}}{208 d^2 f}+\frac {3 \cos (e+f x) (a+b \sin (e+f x))^2 (c+d \sin (e+f x))^{7/3}}{16 d f}+\frac {9 \int (c+d \sin (e+f x))^{4/3} \left (\frac {1}{3} \left (9 b^2 c^2-32 a b c d+39 a^2 d^2\right )+\frac {1}{3} d \left (13 a^2 c+4 b^2 c+32 a b d\right ) \sin (e+f x)+\frac {1}{3} \left (64 a b c d-26 a^2 d^2-b^2 \left (18 c^2-13 d^2\right )\right ) \sin ^2(e+f x)\right ) \, dx}{208 d^2}\\ &=-\frac {9 \left (64 a b c d-26 a^2 d^2-b^2 \left (18 c^2-13 d^2\right )\right ) \cos (e+f x) (c+d \sin (e+f x))^{7/3}}{2080 d^3 f}-\frac {9 b (3 b c-2 a d) \cos (e+f x) \sin (e+f x) (c+d \sin (e+f x))^{7/3}}{208 d^2 f}+\frac {3 \cos (e+f x) (a+b \sin (e+f x))^2 (c+d \sin (e+f x))^{7/3}}{16 d f}+\frac {27 \int (c+d \sin (e+f x))^{4/3} \left (\frac {1}{9} d \left (128 a b c d+208 a^2 d^2-b^2 \left (36 c^2-91 d^2\right )\right )+\frac {1}{9} \left (208 a^2 c d^2-64 a b d \left (3 c^2-5 d^2\right )+b^2 c \left (54 c^2+d^2\right )\right ) \sin (e+f x)\right ) \, dx}{2080 d^3}\\ &=-\frac {9 \left (64 a b c d-26 a^2 d^2-b^2 \left (18 c^2-13 d^2\right )\right ) \cos (e+f x) (c+d \sin (e+f x))^{7/3}}{2080 d^3 f}-\frac {9 b (3 b c-2 a d) \cos (e+f x) \sin (e+f x) (c+d \sin (e+f x))^{7/3}}{208 d^2 f}+\frac {3 \cos (e+f x) (a+b \sin (e+f x))^2 (c+d \sin (e+f x))^{7/3}}{16 d f}+\frac {\left (3 \left (208 a^2 c d^2-64 a b d \left (3 c^2-5 d^2\right )+b^2 c \left (54 c^2+d^2\right )\right )\right ) \int (c+d \sin (e+f x))^{7/3} \, dx}{2080 d^4}+\frac {\left (3 \left (c^2-d^2\right ) \left (192 a b c d-208 a^2 d^2-b^2 \left (54 c^2+91 d^2\right )\right )\right ) \int (c+d \sin (e+f x))^{4/3} \, dx}{2080 d^4}\\ &=-\frac {9 \left (64 a b c d-26 a^2 d^2-b^2 \left (18 c^2-13 d^2\right )\right ) \cos (e+f x) (c+d \sin (e+f x))^{7/3}}{2080 d^3 f}-\frac {9 b (3 b c-2 a d) \cos (e+f x) \sin (e+f x) (c+d \sin (e+f x))^{7/3}}{208 d^2 f}+\frac {3 \cos (e+f x) (a+b \sin (e+f x))^2 (c+d \sin (e+f x))^{7/3}}{16 d f}+\frac {\left (3 \left (208 a^2 c d^2-64 a b d \left (3 c^2-5 d^2\right )+b^2 c \left (54 c^2+d^2\right )\right ) \cos (e+f x)\right ) \text {Subst}\left (\int \frac {(c+d x)^{7/3}}{\sqrt {1-x} \sqrt {1+x}} \, dx,x,\sin (e+f x)\right )}{2080 d^4 f \sqrt {1-\sin (e+f x)} \sqrt {1+\sin (e+f x)}}+\frac {\left (3 \left (c^2-d^2\right ) \left (192 a b c d-208 a^2 d^2-b^2 \left (54 c^2+91 d^2\right )\right ) \cos (e+f x)\right ) \text {Subst}\left (\int \frac {(c+d x)^{4/3}}{\sqrt {1-x} \sqrt {1+x}} \, dx,x,\sin (e+f x)\right )}{2080 d^4 f \sqrt {1-\sin (e+f x)} \sqrt {1+\sin (e+f x)}}\\ &=-\frac {9 \left (64 a b c d-26 a^2 d^2-b^2 \left (18 c^2-13 d^2\right )\right ) \cos (e+f x) (c+d \sin (e+f x))^{7/3}}{2080 d^3 f}-\frac {9 b (3 b c-2 a d) \cos (e+f x) \sin (e+f x) (c+d \sin (e+f x))^{7/3}}{208 d^2 f}+\frac {3 \cos (e+f x) (a+b \sin (e+f x))^2 (c+d \sin (e+f x))^{7/3}}{16 d f}+\frac {\left (3 (-c-d)^2 \left (208 a^2 c d^2-64 a b d \left (3 c^2-5 d^2\right )+b^2 c \left (54 c^2+d^2\right )\right ) \cos (e+f x) \sqrt [3]{c+d \sin (e+f x)}\right ) \text {Subst}\left (\int \frac {\left (-\frac {c}{-c-d}-\frac {d x}{-c-d}\right )^{7/3}}{\sqrt {1-x} \sqrt {1+x}} \, dx,x,\sin (e+f x)\right )}{2080 d^4 f \sqrt {1-\sin (e+f x)} \sqrt {1+\sin (e+f x)} \sqrt [3]{-\frac {c+d \sin (e+f x)}{-c-d}}}-\frac {\left (3 (-c-d) \left (c^2-d^2\right ) \left (192 a b c d-208 a^2 d^2-b^2 \left (54 c^2+91 d^2\right )\right ) \cos (e+f x) \sqrt [3]{c+d \sin (e+f x)}\right ) \text {Subst}\left (\int \frac {\left (-\frac {c}{-c-d}-\frac {d x}{-c-d}\right )^{4/3}}{\sqrt {1-x} \sqrt {1+x}} \, dx,x,\sin (e+f x)\right )}{2080 d^4 f \sqrt {1-\sin (e+f x)} \sqrt {1+\sin (e+f x)} \sqrt [3]{-\frac {c+d \sin (e+f x)}{-c-d}}}\\ &=-\frac {9 \left (64 a b c d-26 a^2 d^2-b^2 \left (18 c^2-13 d^2\right )\right ) \cos (e+f x) (c+d \sin (e+f x))^{7/3}}{2080 d^3 f}-\frac {9 b (3 b c-2 a d) \cos (e+f x) \sin (e+f x) (c+d \sin (e+f x))^{7/3}}{208 d^2 f}+\frac {3 \cos (e+f x) (a+b \sin (e+f x))^2 (c+d \sin (e+f x))^{7/3}}{16 d f}-\frac {3 (c+d)^2 \left (208 a^2 c d^2-64 a b d \left (3 c^2-5 d^2\right )+b^2 c \left (54 c^2+d^2\right )\right ) F_1\left (\frac {1}{2};\frac {1}{2},-\frac {7}{3};\frac {3}{2};\frac {1}{2} (1-\sin (e+f x)),\frac {d (1-\sin (e+f x))}{c+d}\right ) \cos (e+f x) \sqrt [3]{c+d \sin (e+f x)}}{1040 \sqrt {2} d^4 f \sqrt {1+\sin (e+f x)} \sqrt [3]{\frac {c+d \sin (e+f x)}{c+d}}}-\frac {3 (c-d) (c+d)^2 \left (192 a b c d-208 a^2 d^2-b^2 \left (54 c^2+91 d^2\right )\right ) F_1\left (\frac {1}{2};\frac {1}{2},-\frac {4}{3};\frac {3}{2};\frac {1}{2} (1-\sin (e+f x)),\frac {d (1-\sin (e+f x))}{c+d}\right ) \cos (e+f x) \sqrt [3]{c+d \sin (e+f x)}}{1040 \sqrt {2} d^4 f \sqrt {1+\sin (e+f x)} \sqrt [3]{\frac {c+d \sin (e+f x)}{c+d}}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 6.33, size = 573, normalized size = 1.25 \begin {gather*} -\frac {3 \sec (e+f x) \sqrt [3]{c+d \sin (e+f x)} \left (12 \left (c^2-d^2\right ) \left (208 a^2 d^2 \left (4 c^2+7 d^2\right )+128 a b d \left (-6 c^3+17 c d^2\right )+b^2 \left (216 c^4-248 c^2 d^2+637 d^4\right )\right ) F_1\left (\frac {1}{3};\frac {1}{2},\frac {1}{2};\frac {4}{3};\frac {c+d \sin (e+f x)}{c-d},\frac {c+d \sin (e+f x)}{c+d}\right ) \sqrt {-\frac {d (-1+\sin (e+f x))}{c+d}} \sqrt {-\frac {d (1+\sin (e+f x))}{c-d}}-3 \left (208 a^2 c d^2 \left (4 c^2+51 d^2\right )+128 a b d \left (-6 c^4+21 c^2 d^2+40 d^4\right )+b^2 \left (216 c^5-392 c^3 d^2+3201 c d^4\right )\right ) F_1\left (\frac {4}{3};\frac {1}{2},\frac {1}{2};\frac {7}{3};\frac {c+d \sin (e+f x)}{c-d},\frac {c+d \sin (e+f x)}{c+d}\right ) \sqrt {-\frac {d (-1+\sin (e+f x))}{c+d}} \sqrt {-\frac {d (1+\sin (e+f x))}{c-d}} (c+d \sin (e+f x))+4 d^2 \cos ^2(e+f x) \left (14 d^2 \left (448 a b c d+208 a^2 d^2+b^2 \left (4 c^2+91 d^2\right )\right ) \cos (2 (e+f x))-455 b^2 d^4 \cos (4 (e+f x))+2 \left (-108 b^2 c^4+384 a b c^3 d-416 a^2 c^2 d^2+152 b^2 c^2 d^2+2048 a b c d^3+728 a^2 d^4+546 b^2 d^4-d \left (4576 a^2 c d^2+32 a b d \left (8 c^2+45 d^2\right )+b^2 \left (-72 c^3+687 c d^2\right )\right ) \sin (e+f x)+35 b d^3 (17 b c+32 a d) \sin (3 (e+f x))\right )\right )\right )}{232960 d^5 f} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.62, size = 0, normalized size = 0.00 \[\int \left (\cos ^{2}\left (f x +e \right )\right ) \left (a +b \sin \left (f x +e \right )\right )^{2} \left (c +d \sin \left (f x +e \right )\right )^{\frac {4}{3}}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int {\cos \left (e+f\,x\right )}^2\,{\left (a+b\,\sin \left (e+f\,x\right )\right )}^2\,{\left (c+d\,\sin \left (e+f\,x\right )\right )}^{4/3} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________